aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/add-dependency.sh4
-rwxr-xr-xscripts/run-test-watch.sh2
2 files changed, 1 insertions, 5 deletions
diff --git a/scripts/add-dependency.sh b/scripts/add-dependency.sh
index 2f941ff..f6f5872 100755
--- a/scripts/add-dependency.sh
+++ b/scripts/add-dependency.sh
@@ -11,7 +11,3 @@ sed -i "s/\(depends.*\)/\1 $NEW_DEP/" dune-project
# Run dune to update the project
dune build ann_bloop.opam
-
-
-# Run cat to generate a new package-deps.json
-cat $(nix eval .#package-defs --raw) > package-defs.json
diff --git a/scripts/run-test-watch.sh b/scripts/run-test-watch.sh
index 9190a39..e637a5f 100755
--- a/scripts/run-test-watch.sh
+++ b/scripts/run-test-watch.sh
@@ -1 +1 @@
-dune runtest --watch --root . --profile release --no-buffer --force
+dune runtest --watch --root .