source: git/Singular/make_grammar @ 5d51cc6

spielwiese
Last change on this file since 5d51cc6 was ce12a0, checked in by Hans Schoenemann <hannes@…>, 9 years ago
/bin/rm -> command rm (to allow /usr/bin/rm etc.)
  • Property mode set to 100755
File size: 380 bytes
Line 
1#!/bin/sh
2bison -d -t -o grammar.cc grammar.y
3if [ -f grammar.hh ]
4then
5  mv grammar.hh grammar.cc.h
6fi
7if [ -f grammar.h ]
8then
9  if diff -w grammar.cc.h grammar.h >/dev/null
10  then
11    echo grammar.h was okay
12    command rm grammar.cc.h
13  else
14    echo generating new grammar.h
15    mv grammar.cc.h grammar.h
16  fi
17else
18  echo generating grammar.h
19  mv grammar.cc.h grammar.h
20fi
21
Note: See TracBrowser for help on using the repository browser.