diff options
Diffstat (limited to 'misc/tcb/files/patch-Makefile')
| -rw-r--r-- | misc/tcb/files/patch-Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/misc/tcb/files/patch-Makefile b/misc/tcb/files/patch-Makefile new file mode 100644 index 000000000000..b55db2dab316 --- /dev/null +++ b/misc/tcb/files/patch-Makefile @@ -0,0 +1,11 @@ +--- Makefile.orig Sun Nov 24 15:48:55 2002 ++++ Makefile Sun Nov 24 15:49:08 2002 +@@ -6,7 +6,7 @@ + + src/tcb: src/config.h + @echo 'Making tcb:' +- @cd src; make; cd .. ++ @cd src; $(MAKE); cd .. + + src/config.h: config.sh + @./config.sh $(USR_DIR) # $(USR_DIR): Debian (Linux) |