Correction of the AWK definition
authorfca <fca@f7af4fe6-9843-0410-8265-dc069ae4e863>
Mon, 3 Apr 2000 15:37:32 +0000 (15:37 +0000)
committerfca <fca@f7af4fe6-9843-0410-8265-dc069ae4e863>
Mon, 3 Apr 2000 15:37:32 +0000 (15:37 +0000)
conf/MachineDef.HP-UX

index 8d3fd14cee11d10f34a01dfc966fa1d22aea5247..26728c832492130bc26abdfe6377442026036209 100644 (file)
@@ -14,7 +14,7 @@ OPT         = -O
 SL           = sl
 
 # AWK
-AWK          = /usr/xpg4/bin/awk
+AWK          = awk
 
 # The options
 CXXOPTS       = $(OPT) +a1 +z