Skip to content

Commit eb983f4

Browse files
shindereshindere
committed
Rename the interface_generator directory to tools
This is so that other support tools can be added
1 parent 169527a commit eb983f4

File tree

9 files changed

+3
-3
lines changed

9 files changed

+3
-3
lines changed

‎.gitignore‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -18,9 +18,9 @@ _build/
1818
/stdcompat_*.ml
1919
/stdcompat_*.mli
2020
!/stdcompat__native.mli
21-
/interface_generator/interface_dumper
22-
/interface_generator/interface_generator
23-
/interface_generator/.depend
21+
/tools/interface_dumper
22+
/tools/interface_generator
23+
/tools/.depend
2424
/stdcompat.ml
2525
/stdcompat.mli
2626
/config.guess

interface_generator/Makefile renamed to tools/Makefile

File renamed without changes.

interface_generator/dump_interfaces.sh renamed to tools/dump_interfaces.sh

File renamed without changes.

interface_generator/interface_dumper.ml renamed to tools/interface_dumper.ml

File renamed without changes.

interface_generator/interface_dumper.mli renamed to tools/interface_dumper.mli

File renamed without changes.

interface_generator/interface_generator.ml renamed to tools/interface_generator.ml

File renamed without changes.

interface_generator/interface_generator.mli renamed to tools/interface_generator.mli

File renamed without changes.

interface_generator/interface_tools.ml renamed to tools/interface_tools.ml

File renamed without changes.

interface_generator/interface_tools.mli renamed to tools/interface_tools.mli

File renamed without changes.

0 commit comments

Comments
 (0)