@@ -75,6 +75,8 @@ extra-source-files:
75 benchmarks/json-data/twitter20.json
75 benchmarks/json-data/twitter20.json
76 benchmarks/json-data/twitter50.json
76 benchmarks/json-data/twitter50.json
77 benchmarks/json-data/twitter100.json
77 benchmarks/json-data/twitter100.json
79flag developer
81flag developer
80 description: operate in developer mode
82 description: operate in developer mode