diff --git a/util/LLgen/READ_ME b/util/LLgen/READ_ME index a9c411bf..3bcd1e41 100644 --- a/util/LLgen/READ_ME +++ b/util/LLgen/READ_ME @@ -1,3 +1,5 @@ +$Header$ + To install LLgen, proceed as follows: - create a directory to put the libraryfiles in, f.i. diff --git a/util/LLgen/src/Makefile b/util/LLgen/src/Makefile index 2b4b1f58..187d0f5b 100644 --- a/util/LLgen/src/Makefile +++ b/util/LLgen/src/Makefile @@ -1,3 +1,4 @@ +# $Header$ PROF= LLOPT=-vvv -x CFLAGS=$(PROF) -O -DNDEBUG # -R