diff options
Diffstat (limited to 'runtime/libdummy')
-rw-r--r-- | runtime/libdummy/Makefile | 2 | ||||
-rw-r--r-- | runtime/libdummy/README.txt | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/runtime/libdummy/Makefile b/runtime/libdummy/Makefile index 1f7d590..5f78726 100644 --- a/runtime/libdummy/Makefile +++ b/runtime/libdummy/Makefile @@ -1,4 +1,4 @@ -LEVEL = ../../.. +LEVEL = ../.. BYTECODE_LIBRARY=1 DONT_BUILD_RELINKED=1 LIBRARYNAME=dummy diff --git a/runtime/libdummy/README.txt b/runtime/libdummy/README.txt new file mode 100644 index 0000000..08e7751 --- /dev/null +++ b/runtime/libdummy/README.txt @@ -0,0 +1,2 @@ +This directory contains stub routines which are occasionally useful when +performing alias analysis research. |