Changeset 3221

Timestamp:

Apr 30, 2013, 1:25:17 AM (4 years ago)

Author:

sacerdot

Message:

Added cerco-executable to install.

File:

• Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/Makefile.in (modified) (1 diff)

Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/Makefile.in

@@ -14 +14 @@
         make -C plugin install
         make -C wrapper install
+        make -C cerco-executable install
 
 clean: