-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
Instead of using symlinks, now the standard Makefile in included. This is more robust (previously, many Makefiles were just plain copies instead of symlinks).
- Loading branch information
There are no files selected for viewing
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,13 +1 @@ | ||
|
||
test: | ||
../scripts/run | ||
|
||
reset: | ||
../scripts/reset | ||
|
||
clean: | ||
rm -fr tmp/ report.txt | ||
|
||
valgrind: | ||
../scripts/run --valgrind | ||
|
||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,13 +1 @@ | ||
|
||
test: | ||
../scripts/run | ||
|
||
reset: | ||
../scripts/reset | ||
|
||
clean: | ||
rm -fr tmp/ report.txt | ||
|
||
valgrind: | ||
../scripts/run --valgrind | ||
|
||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,13 +1 @@ | ||
|
||
test: | ||
../scripts/run | ||
|
||
reset: | ||
../scripts/reset | ||
|
||
clean: | ||
rm -fr tmp/ report.txt | ||
|
||
valgrind: | ||
../scripts/run --valgrind | ||
|
||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,13 +1 @@ | ||
|
||
test: | ||
../scripts/run | ||
|
||
reset: | ||
../scripts/reset | ||
|
||
clean: | ||
rm -fr tmp/ report.txt | ||
|
||
valgrind: | ||
../scripts/run --valgrind | ||
|
||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,13 +1 @@ | ||
|
||
test: | ||
../scripts/run | ||
|
||
reset: | ||
../scripts/reset | ||
|
||
clean: | ||
rm -fr tmp/ report.txt | ||
|
||
valgrind: | ||
../scripts/run --valgrind | ||
|
||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,13 +1 @@ | ||
|
||
test: | ||
../scripts/run | ||
|
||
reset: | ||
../scripts/reset | ||
|
||
clean: | ||
rm -fr tmp/ report.txt | ||
|
||
valgrind: | ||
../scripts/run --valgrind | ||
|
||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,13 +1 @@ | ||
|
||
test: | ||
../scripts/run | ||
|
||
reset: | ||
../scripts/reset | ||
|
||
clean: | ||
rm -fr tmp/ report.txt | ||
|
||
valgrind: | ||
../scripts/run --valgrind | ||
|
||
include ../scripts/test.make |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,13 +1 @@ | ||
|
||
test: | ||
../scripts/run | ||
|
||
reset: | ||
../scripts/reset | ||
|
||
clean: | ||
rm -fr tmp/ report.txt | ||
|
||
valgrind: | ||
../scripts/run --valgrind | ||
|
||
include ../scripts/test.make |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,13 +1 @@ | ||
|
||
test: | ||
../scripts/run | ||
|
||
reset: | ||
../scripts/reset | ||
|
||
clean: | ||
rm -fr tmp/ report.txt | ||
|
||
valgrind: | ||
../scripts/run --valgrind | ||
|
||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,13 +1 @@ | ||
|
||
test: | ||
../scripts/run | ||
|
||
reset: | ||
../scripts/reset | ||
|
||
clean: | ||
rm -fr tmp/ report.txt | ||
|
||
valgrind: | ||
../scripts/run --valgrind | ||
|
||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,13 +1 @@ | ||
|
||
test: | ||
../scripts/run | ||
|
||
reset: | ||
../scripts/reset | ||
|
||
clean: | ||
rm -fr tmp/ report.txt | ||
|
||
valgrind: | ||
../scripts/run --valgrind | ||
|
||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
include ../scripts/test.make |