Skip to content

Commit

Permalink
If !stdin, specify that a .re file is not an interface.
Browse files Browse the repository at this point in the history
This started to become an error.
  • Loading branch information
jordwalke committed Apr 29, 2016
1 parent ed4a280 commit c5af1ef
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/reup.sh
Original file line number Diff line number Diff line change
Expand Up @@ -144,7 +144,7 @@ cp -af $DIR $BACKUP_DIR

find $DIR -type f -name "*.re" | while read file; do
set -x
$OPAM_BIN/refmt-$VERSION -print binary_reason $file | $OPAM_BIN/refmt -print-width $PRINTWIDTH -use-stdin true -parse binary_reason -print re > $file.new
$OPAM_BIN/refmt-$VERSION -print binary_reason $file | $OPAM_BIN/refmt -print-width $PRINTWIDTH -use-stdin true -is-interface-pp false -parse binary_reason -print re > $file.new
mv -f $file.new $file
set +x
done
Expand Down

0 comments on commit c5af1ef

Please sign in to comment.