author | sultana |
Sat, 14 Apr 2012 23:52:17 +0100 | |
changeset 48349 | d2392e6cba7f |
parent 48348 | 3fabf352243e |
child 48350 | e6add51fd7ba |
1.1 --- a/src/HOL/Mirabelle/lib/Tools/mirabelle Sat Apr 14 23:52:17 2012 +0100 1.2 +++ b/src/HOL/Mirabelle/lib/Tools/mirabelle Sat Apr 14 23:52:17 2012 +0100 1.3 @@ -11,7 +11,7 @@ 1.4 ACTIONS="$MIRABELLE_HOME/Actions/mirabelle_*.ML" 1.5 for ACTION in $ACTIONS 1.6 do 1.7 - echo $ACTION | sed 's/.*mirabelle_\(.*\)\.ML/ \1/' 1.8 + echo $ACTION | perl -w -p -e 's/.*mirabelle_(.*)\.ML/ $1/' 1.9 done 1.10 } 1.11