Skip to content
Snippets Groups Projects
Commit 9f808abb authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Merge branch 'fix/issue652' into 'stable/potassium'


See merge request frama-c/frama-c!2262
parents 3c7139e0 fa03ea4a
No related branches found
No related tags found
No related merge requests found
......@@ -523,6 +523,7 @@ endif # FRAMAC_INTERNAL
$(TARGET_META):
$(PRINT_MAKING) $(notdir $@)
$(RM) $@
$(MKDIR) $(dir $@)
$(ECHO) "description = \"$($(notdir $@).DESCRIPTION)\"" >> $@
$(ECHO) "version = \"$($(notdir $@).VERSION)\"" >> $@
$(ECHO) "requires = \"frama-c.kernel $($(notdir $@).REQUIRES)\"" >> $@
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment