2014-10-09 18:31:28 +00:00
|
|
|
#!/bin/bash
|
2014-10-09 18:33:25 +00:00
|
|
|
|
2015-10-13 07:36:11 +00:00
|
|
|
grep generateUUID consul/state/state_store.go
|
2014-10-09 18:31:28 +00:00
|
|
|
RESULT=$?
|
2014-10-09 18:33:25 +00:00
|
|
|
if [ $RESULT -eq 0 ]; then
|
|
|
|
exit 1
|
|
|
|
fi
|
2014-10-09 18:31:28 +00:00
|
|
|
|
2014-10-09 18:33:25 +00:00
|
|
|
grep generateUUID consul/fsm.go
|
|
|
|
RESULT=$?
|
2014-10-09 18:31:28 +00:00
|
|
|
if [ $RESULT -eq 0 ]; then
|
|
|
|
exit 1
|
|
|
|
fi
|