You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
20 lines
656 B
20 lines
656 B
6 years ago
|
commit 40142bc941e6e308686e86be6fc2da92f346a22f
|
||
|
|
Author: Kate <kit.ty.kate@disroot.org>
|
||
|
|
Date: Tue Mar 19 16:29:06 2019 +0000
|
||
|
|
|
||
|
|
Remove awk from the set of checked unix tools as it's not used anywhere
|
||
|
|
|
||
|
|
diff --git a/configure b/configure
|
||
|
|
index d9b587c..20e8dca 100755
|
||
|
|
--- a/configure
|
||
|
|
+++ b/configure
|
||
|
|
@@ -184,7 +184,7 @@ echo "Configuring core..."
|
||
|
|
|
||
|
|
# Some standard Unix tools must be available:
|
||
|
|
|
||
|
|
-for tool in sed awk ocaml ocamlc uname rm make cat m4 dirname basename; do
|
||
|
|
+for tool in sed ocaml ocamlc uname rm make cat m4 dirname basename; do
|
||
|
|
if in_path $tool; then true; else
|
||
|
|
echo "configure: $tool not in PATH; this is required" 1>&2
|
||
|
|
exit 1
|