diff options
author | Camil Staps | 2015-07-06 21:04:42 +0200 |
---|---|---|
committer | Camil Staps | 2015-07-06 21:04:42 +0200 |
commit | 379a413032bc5efd0fc3cd118d63470fd18e819e (patch) | |
tree | ab8771c73c3c962e26e5f4464c2bd4b066c43d21 /example_int/Makefile |
int example
Diffstat (limited to 'example_int/Makefile')
-rw-r--r-- | example_int/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/example_int/Makefile b/example_int/Makefile new file mode 100644 index 0000000..d3df8bb --- /dev/null +++ b/example_int/Makefile @@ -0,0 +1,6 @@ +all: + cc -O -c example_int.c + clm -l example_int.o verify -o verify + +run: + ./verify |