From 9ebf44d84754adc5b64fcf612c6816c02c80462d Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 2 Feb 2019 19:29:23 -0500 Subject: Imported Upstream version 8.9.0 --- dev/checker.dbg | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 dev/checker.dbg (limited to 'dev/checker.dbg') diff --git a/dev/checker.dbg b/dev/checker.dbg new file mode 100644 index 00000000..b2323b61 --- /dev/null +++ b/dev/checker.dbg @@ -0,0 +1,6 @@ +load_printer threads.cma +load_printer str.cma +load_printer clib.cma +load_printer dynlink.cma +load_printer lib.cma +load_printer check.cma -- cgit v1.2.3