diff options
Diffstat (limited to 'source4')
-rw-r--r-- | source4/Makefile.waf | 13 | ||||
-rwxr-xr-x | source4/autogen-waf.sh | 5 |
2 files changed, 15 insertions, 3 deletions
diff --git a/source4/Makefile.waf b/source4/Makefile.waf index 59eca68f86..d3042b0522 100644 --- a/source4/Makefile.waf +++ b/source4/Makefile.waf @@ -21,3 +21,16 @@ clean: distclean: rm -rf bin + +# some compatibility make targets +everything: all + +testsuite: all + +check: test + +torture: all + +# this should do an install as well, once install is finished +installcheck: test + diff --git a/source4/autogen-waf.sh b/source4/autogen-waf.sh index 3d08fe075c..2e4869721c 100755 --- a/source4/autogen-waf.sh +++ b/source4/autogen-waf.sh @@ -1,10 +1,9 @@ #!/bin/sh echo "Setting up for waf build" -rm -f configure -cp configure.waf configure +ln -sf configure.waf configure # this relies on the fact that make looks for 'makefile' before 'Makefile' -cp Makefile.waf makefile +ln -sf Makefile.waf makefile echo "done ... now run ./configure or ./configure.developer" |