diff options
Diffstat (limited to 'support')
| -rw-r--r-- | support/tools/Burg/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/support/tools/Burg/Makefile b/support/tools/Burg/Makefile index f3e78db69f..b19c0c2e1c 100644 --- a/support/tools/Burg/Makefile +++ b/support/tools/Burg/Makefile @@ -25,3 +25,4 @@ test:: $(TOOLEXENAME_G) sample.gr $(TOOLEXENAME_G) -I sample.gr -o tmp && cmp tmp sample.c $(TOOLEXENAME_G) -I -O0 <sample.gr >tmp && cmp tmp sample.c $(TOOLEXENAME_G) -I -= <sample.gr >tmp && cmp tmp sample.c + rm -f tmp sample.c |