From 54b65b4fcc322e5a47ec0f9a556e87858e86b90a Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Wed, 8 Jul 2020 21:35:09 -0700
Subject: [PATCH] update gen-output to use native_instrs by default

---
 gen-output.sh | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/gen-output.sh b/gen-output.sh
index 2dc1f97..5a81968 100755
--- a/gen-output.sh
+++ b/gen-output.sh
@@ -1,2 +1,19 @@
 #!/bin/bash
-exec cargo run > "output-for-`git describe`.json"
+case "$1" in
+    --model-only)
+        args=()
+        ;;
+    -h|--help)
+        echo "usage: $0 [--model-only] [-h|--help]"
+        exit
+        ;;
+    '')
+        args=("--features=native_instrs")
+        ;;
+    *)
+        echo "invalid option; use --help for help" >&2
+        exit 1
+        ;;
+esac
+exec cargo run "${args[@]}" > "output-for-`git describe`.json"
+
-- 
2.30.2