source: other-projects/gli-rsyntax-textarea/REGENERATE-FLEX.sh@ 25680

#!/bin/bash

pushd src/java/org/fife/ui/rsyntaxtextarea/modes/


for f in *.flex ; do
  echo "Checking $f ..."
  if [ $f -nt ${f%.*}.java ] ; then
    jflex $f
    echo "... regenerated"
  else 
    echo "... does not need to be regenerated"
  fi


done

popd