Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
examples
Commits
140a6f0a
Commit
140a6f0a
authored
Oct 18, 2017
by
Ralf Jung
Browse files
ignore grep failures
parent
edc8e522
Changes
1
Hide whitespace changes
Inline
Side-by-side
build/opam-ci.sh
View file @
140a6f0a
...
...
@@ -51,7 +51,7 @@ while (( "$#" )); do # while there are arguments left
VERSION
=
"
$1
"
;
shift
# Check if the pin is already set
PIN
=
$(
opam pin list | egrep
"^
$PACKAGE
[. ]"
)
PIN
=
$(
opam pin list |
(
egrep
"^
$PACKAGE
[. ]"
||
true
)
)
if
[[
"
$(
echo
"
$PIN
"
|
cut
-d
' '
-f
2
)
"
==
"
$KIND
"
&&
"
$(
echo
"
$PIN
"
|
cut
-d
' '
-f
3
)
"
==
"
$VERSION
"
]]
;
then
echo
"[opam-ci]
$PACKAGE
already
$KIND
-pinned to
$VERSION
"
else
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment