changeset 921:fc96416e844e

adapted update.sh to DMD-0.15*
author thomask
date Sun, 19 Mar 2006 11:30:37 +0000
parents 5511f9277078
children 95160f4d06f8
files update.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/update.sh	Sun Mar 19 11:29:18 2006 +0000
+++ b/update.sh	Sun Mar 19 11:30:37 2006 +0000
@@ -6,7 +6,7 @@
 
 for DMD in `cd /opt/dmd/bin/; ls *dmd-0.*  | sort -u -r`; do
 	export DMD
-	if echo $DMD | grep "\\(0\\.138\\)\\|\\(0\\.139\\)\\|\\(0\\.14\\)\\|\\(gdmd\\)" > /dev/null 2>/dev/null; then
+	if echo $DMD | grep "\\(0\\.138\\)\\|\\(0\\.139\\)\\|\\(0\\.14\\)\\|\\(gdmd\\)\\|\\(0\\.15\\)" > /dev/null 2>/dev/null; then
 		unset DSTRESS_TORTURE_BLOCK
 	else
 		DSTRESS_TORTURE_BLOCK=-fPIC