Work around missing build-rpm.sh and doc/changelog

janestreet · Sep 8, 2020 · efd5589 · efd5589
1 parent 9de3185
commit efd5589
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/patdiff/scripts/dune b/patdiff/scripts/dune
@@ -1,9 +1,9 @@
 (install (section man) (files (patdiff.man as man1/patdiff.1)))
 
-(rule (targets patdiff.rpm.tar)
- (deps (:first_dep ./build-rpm.sh) ../bin/main.exe ./patdiff.pkg.sexp
-  ../doc/changelog)
- (action (bash "%{first_dep} patdiff")))
+; (rule (targets patdiff.rpm.tar)
+;  (deps (:first_dep ./build-rpm.sh) ../bin/main.exe ./patdiff.pkg.sexp
+;   ../doc/changelog)
+;  (action (bash "%{first_dep} patdiff")))
 
 (alias (name DEFAULT) (deps (glob_files *.sh))
  (action (bash "%{bin:shellcheck} -x *.sh")))