Skip to content

Commit

Permalink
Expand diagnostics
Browse files Browse the repository at this point in the history
  • Loading branch information
mernst committed Jan 1, 2020
1 parent e2874e7 commit 58bc643
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions .travis-build.sh
@@ -1,6 +1,6 @@
#!/bin/bash

echo Entering "$(cd "$(dirname "$0")" && pwd -P)/$(basename "$0")"
echo Entering "$(cd "$(dirname "$0")" && pwd -P)/$(basename "$0")" in `pwd`

# Optional argument $1 is one of:
# all, all-tests, junit-tests, nonjunit-tests, jdk.jar, misc, checker-framework-inference, plume-lib, downstream
Expand Down Expand Up @@ -102,4 +102,4 @@ if [[ "${GROUP}" == "downstream" || "${GROUP}" == "all" ]]; then
$SCRIPTDIR/test-downstream.sh
fi

echo Exiting "$(cd "$(dirname "$0")" && pwd -P)/$(basename "$0")"
echo Exiting "$(cd "$(dirname "$0")" && pwd -P)/$(basename "$0")" in `pwd`
4 changes: 2 additions & 2 deletions checker/bin-devel/build.sh
@@ -1,6 +1,6 @@
#!/bin/bash

echo Entering "$(cd "$(dirname "$0")" && pwd -P)/$(basename "$0")"
echo Entering "$(cd "$(dirname "$0")" && pwd -P)/$(basename "$0")" in `pwd`

# Fail the whole script if any command fails
set -e
Expand Down Expand Up @@ -76,4 +76,4 @@ else
./gradlew assemble -PuseLocalJdk --console=plain --warning-mode=all -s --no-daemon
fi

echo Exiting "$(cd "$(dirname "$0")" && pwd -P)/$(basename "$0")"
echo Exiting "$(cd "$(dirname "$0")" && pwd -P)/$(basename "$0")" in `pwd`

0 comments on commit 58bc643

Please sign in to comment.