aboutsummaryrefslogtreecommitdiff
path: root/generate_json.sh
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2018-12-19 13:44:04 -0700
committerAdelyn Breelove <[email protected]>2018-12-19 13:44:04 -0700
commit1a73007b3aaa17940173eaff1eb4f6703fd9ec0c (patch)
treef8563e2a2ab407c616fd40333d42cdd741e93344 /generate_json.sh
parentSome refactoring of http code (diff)
downloaddisml-1a73007b3aaa17940173eaff1eb4f6703fd9ec0c.tar.xz
disml-1a73007b3aaa17940173eaff1eb4f6703fd9ec0c.zip
Re-arrange autogen serialization files and incorporate into dune file
Diffstat (limited to 'generate_json.sh')
-rw-r--r--generate_json.sh7
1 files changed, 0 insertions, 7 deletions
diff --git a/generate_json.sh b/generate_json.sh
deleted file mode 100644
index a9c497b..0000000
--- a/generate_json.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-# Helper script for running atdgen
-
-for filename in ./lib/models/gen/*.atd; do
- [ -e "$filename" ] || continue
- atdgen -t $filename
- atdgen -j $filename
-done \ No newline at end of file