4 EXECUTABLES = enable function_call_history instruction_history tailcall \
5 exception unknown_functions record_goto delta
9 all info install-info dvi install uninstall installcheck check:
10 @echo "Nothing to be done for $@..."
13 rm -f *~ *.o *.x *.ci *.sl a.out core
15 rm -f $(EXECUTABLES) $(MISCELLANEOUS)
17 distclean maintainer-clean realclean: clean
18 rm -f Makefile config.status config.log site.* gdb.log gdb.sum