From 1a73007b3aaa17940173eaff1eb4f6703fd9ec0c Mon Sep 17 00:00:00 2001 From: Adelyn Breelove Date: Wed, 19 Dec 2018 13:44:04 -0700 Subject: Re-arrange autogen serialization files and incorporate into dune file --- generate_json.sh | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 generate_json.sh (limited to 'generate_json.sh') 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 -- cgit v1.2.3