Skip to content

Commit

Permalink
debug
Browse files Browse the repository at this point in the history
  • Loading branch information
Lucas McDonald committed Aug 18, 2023
1 parent 5e14a2c commit 8b2d31e
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions TestModels/dafny-dependencies/StandardLibrary/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -93,6 +93,9 @@ build_implementation:
build_java: transpile_java
gradle -p runtimes/java build

_correct_escaped_python:
echo "Skipping _correct_escaped_python for StandardLibrary"

# Override SharedMakefile's mvn_local_deploy to
# issue warning
mvn_local_deploy:
Expand Down

0 comments on commit 8b2d31e

Please sign in to comment.