mirror of
https://github.com/haskell/haskell-ide-engine.git
synced 2024-09-11 11:05:30 +03:00
Add note when exiting because of the wrong repo
This commit is contained in:
parent
82fb46479a
commit
6c9edc6616
@ -19,6 +19,7 @@ make html
|
||||
# encryption is repo specific
|
||||
if [ "$TRAVIS_REPO_SLUG" != "haskell/haskell-ide-engine" ]
|
||||
then
|
||||
echo "Exiting: not on haskell/haskell-ide-engine repo"
|
||||
exit 0
|
||||
fi
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user