2017-08-30 05:24:03 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
2017-09-05 07:49:24 +00:00
|
|
|
OPTS=$1
|
|
|
|
|
|
2017-08-30 05:24:03 +00:00
|
|
|
while true; do
|
2017-08-31 18:39:42 +00:00
|
|
|
CHANGED=`inotifywait -r -e modify,move,create,delete authorization_services getting_started securing_apps server_admin server_development server_installation upgrading --format %w`
|
2017-08-30 07:26:56 +00:00
|
|
|
GUIDE=`echo $CHANGED | cut -d '/' -f 1`
|
2017-09-05 07:49:24 +00:00
|
|
|
mvn clean install -f $GUIDE $OPTS
|
2017-08-30 05:24:03 +00:00
|
|
|
done
|
