changeset 42:b57cdd4f273e

Fix some ident patterns -- they were too strict
author Chris Cannam
date Thu, 07 Aug 2014 12:13:21 +0100
parents ed9f24243b59
children 563827464628
files SCRIPTS/process.sh
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/SCRIPTS/process.sh	Thu Aug 07 09:18:32 2014 +0100
+++ b/SCRIPTS/process.sh	Thu Aug 07 12:13:21 2014 +0100
@@ -52,7 +52,7 @@
 	hostext=
 	valgrind=valgrind
 	archflags=
-	identpattern='ELF 32.*Linux'
+	identpattern='ELF 32'
 	;;
     linux64)
 	platform=linux
@@ -63,7 +63,7 @@
 	hostext=
 	valgrind=valgrind
 	archflags=
-	identpattern='ELF 64.*Linux'
+	identpattern='ELF 64'
 	;;
     mingw32)
 	platform=mingw