mirror of
https://git.freebsd.org/ports.git
synced 2025-05-15 08:41:51 -04:00
- Don't uselessly install INSTALL file - Switch to options helpers - Regenerate patches with `make makepatch`
11 lines
353 B
Text
11 lines
353 B
Text
--- configure.orig 1993-02-03 11:07:58 UTC
|
|
+++ configure
|
|
@@ -605,7 +605,7 @@ fi
|
|
edit="$edit -e 's/^typedef .*VOID;/typedef $void_ret VOID;/'"
|
|
edit="$edit -e 's/^typedef .*UNIV;/typedef ${void_star}UNIV;/'"
|
|
|
|
-if test "X$(PREFIX)" != "X/usr/local"
|
|
+if test "X$PREFIX" != "X/usr/local"
|
|
then
|
|
edit="$edit -e '/DEFAULT_PATH/s;/usr/local;$PREFIX;g'"
|
|
fi
|