projects
/
wrapfs-mgmt.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
77dfa7b
)
remove exit when updating the wrapfs-latest repo
author
Erez Zadok
<ezk@cs.sunysb.edu>
Wed, 11 May 2022 22:46:17 +0000
(18:46 -0400)
committer
Erez Zadok
<ezk@cs.sunysb.edu>
Wed, 11 May 2022 22:46:17 +0000
(18:46 -0400)
update-stable.sh
patch
|
blob
|
history
diff --git
a/update-stable.sh
b/update-stable.sh
index 3cac22b44eb865663249838545189bd6641b592d..666a03527068a7256117bf2aba44853d482a2a4a 100755
(executable)
--- a/
update-stable.sh
+++ b/
update-stable.sh
@@
-40,7
+40,6
@@
case "$THIS_REPO" in
;;
latest )
BRANCH="master"
- exit 1
;;
* ) echo This repo is unknown: $THIS_REPO
exit 1