regex.sh

   1 #!/bin/sh
   2 if ./generate.py regex <regex.py >regex.py.new && ! diff -q regex.py regex.py.new
   3 then
   4   mv regex.py.new regex.py
   5 else
   6   rm -f regex.py.new
   7 fi