diff options
| -rw-r--r-- | shells/bash1/files/patch-aa | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/shells/bash1/files/patch-aa b/shells/bash1/files/patch-aa new file mode 100644 index 000000000000..44de65ec4a75 --- /dev/null +++ b/shells/bash1/files/patch-aa @@ -0,0 +1,11 @@ +--- Makefile.orig Sun Jun 11 11:41:48 1995 ++++ Makefile Wed Aug 13 00:41:35 1997 +@@ -10,7 +10,7 @@ + # If you haven't read README, now might be a good time. + + # Include some boilerplate Gnu makefile definitions. +-prefix = /usr/local ++prefix = $(PREFIX) + exec_prefix = $(prefix) + bindir = $(exec_prefix)/bin + srcdir = . |