source: git/Singular/old.testgh.sh @ d828d63

spielwiese
Last change on this file since d828d63 was b80440, checked in by Oleksandr Motsak <motsak@…>, 13 years ago
CHG: kernel/testgh seems to be out of place and obsolete... ewnamed to Singular/old.testgh.sh
  • Property mode set to 100755
File size: 337 bytes
Line 
1#!/bin/sh
2if [ -f grammar.hh ]
3then
4  mv grammar.hh grammar.cc.h
5fi
6if [ -f grammar.h ]
7then
8  if diff grammar.cc.h grammar.h >/dev/null
9  then
10    echo grammar.h was okay
11    /bin/rm grammar.cc.h
12  else
13    echo generating new grammar.h
14    mv grammar.cc.h grammar.h
15  fi
16else
17  echo generating grammar.h
18  mv grammar.cc.h grammar.h
19fi
Note: See TracBrowser for help on using the repository browser.