get-df-version: make filter more strict

quarque2 · Jan 2, 2019 · 8063717 · 8063717
1 parent b08ccd0
commit 8063717
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/travis/get-df-version.sh b/travis/get-df-version.sh
@@ -1,4 +1,4 @@
 #!/bin/sh
 cd "$(dirname "$0")"
 cd ..
-grep DF_VERSION CMakeLists.txt | perl -ne 'print "$&\n" if /[\d\.]+/'
+grep -i 'set(DF_VERSION' CMakeLists.txt | perl -ne 'print "$&\n" if /[\d\.]+/'