Skip to content

Commit

Permalink
fix makefile target
Browse files Browse the repository at this point in the history
  • Loading branch information
@alexkollert
alexkollert committed Apr 8, 2019
1 parent 1b8b82c commit 7cf3da4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -86,7 +86,7 @@ boolector: smt
x86: selfie.m selfie.s
./selfie -c selfie.c -x86 selfie.x86
chmod +x selfie.x86
./selfie.x86 -c selfie.c -o selfie7.o -s selfie7.s -m 1
./selfie.x86 -c selfie.c -o selfie7.m -s selfie7.s -m 1
diff -q selfie.m selfie7.m
diff -q selfie.s selfie7.s

Expand Down

0 comments on commit 7cf3da4

Please sign in to comment.