blob: fa93b0a653f26307ae26867a3eb438df54f7c52a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
diff --git a/configure b/configure
index e5a74c6..11f660d 100755
--- a/configure
+++ b/configure
@@ -170,7 +170,7 @@ for t in ${all_targets}; do
[ -f "${source_path}/${t}.mk" ] && enable_feature ${t}
done
-if ! diff --version >/dev/null; then
+if ! command -v diff >/dev/null; then
die "diff missing: Try installing diffutils via your package manager."
fi
|