]> matita.cs.unibo.it Git - pkg-cerco/frama-c-cost-plugin.git/blob - frama-c_jessie.in
projects / pkg-cerco / frama-c-cost-plugin.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Imported Upstream version 0.1
[pkg-cerco/frama-c-cost-plugin.git] / frama-c_jessie.in
1 #!/bin/env sh
2
3 ERROR="usage: $(basename $0) file.c\n"
4
5 if [ $# -eq 0 ] ; then
6   echo -e $ERROR
7 else
8   @FRAMAC@ -jessie -jessie-behavior default -jessie-why-opt="-fast-wp" $1
9 fi
Unnamed repository; edit this file 'description' to name the repository.