# HG changeset patch
# User Chris Cannam
# Date 1463584448 -3600
# Node ID 770eb830ec199758530c44ed3868d7afac31fdc3
# Parent  fdfd5e9f8a772ba0fcf1c0c40c777389ce586a8b
Typo fix

diff -r fdfd5e9f8a77 -r 770eb830ec19 SCRIPTS/process.sh
--- a/SCRIPTS/process.sh	Wed May 18 15:55:14 2016 +0100
+++ b/SCRIPTS/process.sh	Wed May 18 16:14:08 2016 +0100
@@ -146,6 +146,7 @@
 	valgrind=
 	archflags=
 	identpattern='not known yet'
+	;;
     *)
 	usage
 	;;