diff --git a/src/Makefile b/src/Makefile new file mode 100644 index 0000000000000000000000000000000000000000..3cf0f89bbfea6429a9e2884ef2a7f90352ade06f --- /dev/null +++ b/src/Makefile @@ -0,0 +1,3 @@ +.PHONY: all +all: + @ make -C ..