Commit 77437561 authored by J.H.M. Dassen's avatar J.H.M. Dassen Committed by Niels Möller
Browse files

removed `.sh' from generator name in output. (jdassen@wi.leidenuniv.nl)

Rev: src/process_atoms:1.5
parent b6c22406
...@@ -5,7 +5,7 @@ function help() { ...@@ -5,7 +5,7 @@ function help() {
} }
function header() { function header() {
echo '/* Automatically generated by process_atoms.sh,' echo '/* Automatically generated by process_atoms,'
echo ' * ' `date` echo ' * ' `date`
echo ' * Do not edit! */' echo ' * Do not edit! */'
echo echo
...@@ -58,7 +58,7 @@ case $1 in ...@@ -58,7 +58,7 @@ case $1 in
header header
echo '%}' echo '%}'
echo 'struct atom_assoc { char *name; int id; };' echo 'struct atom_assoc { const char *name; int id; };'
echo '%%' echo '%%'
while getatom; do while getatom; do
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment