From 2323b183b65a955c882b5cb8a224fcbc23c8348a Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 2 Apr 2020 21:20:29 +0100 Subject: Ignore unnecessary folders --- cparser/GCC.mli | 1 - dune | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 dune diff --git a/cparser/GCC.mli b/cparser/GCC.mli index 0163c98e..5b2ddbba 100644 --- a/cparser/GCC.mli +++ b/cparser/GCC.mli @@ -16,5 +16,4 @@ (* GCC built-ins and attributes *) -val builtins: Builtins.t val attributes: (string * Cutil.attribute_class) list diff --git a/dune b/dune new file mode 100644 index 00000000..9d7272fc --- /dev/null +++ b/dune @@ -0,0 +1 @@ +(dirs :standard \ aarch64 arm x86_32 riscV powerpc extraction) -- cgit