# HG changeset patch
# User Chris Cannam
# Date 1407410001 -3600
# Node ID b57cdd4f273eb93ae848f9a569fa531290cac13e
# Parent  ed9f24243b593e008cae6b50e970f635b03206d0
Fix some ident patterns -- they were too strict

diff -r ed9f24243b59 -r b57cdd4f273e SCRIPTS/process.sh
--- 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