diff --git a/tools/make-empty-symbols b/tools/make-empty-symbols deleted file mode 100755 index f530d093e..000000000 --- a/tools/make-empty-symbols +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh -echo "#include \"symbols.h\"" > symbols.c -echo "const int symbols_nelts = 0;" >> symbols.c -echo "const struct symbols symbols[] = {{0,0}};" >> symbols.c -echo "#include \"loader/symbols.h\"" > symbols.h -echo "extern const struct symbols symbols[1];">> symbols.h