2019-03-25 17:07:14 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2021-08-18 15:05:11 +00:00
|
|
|
if [[ ! -e http/web_ui/index.html ]]
|
2019-03-25 17:07:14 +00:00
|
|
|
then
|
|
|
|
printf "Compiled UI assets not found. They can be built with: make static-dist\n\n"
|
2021-08-18 15:05:11 +00:00
|
|
|
exit 1
|
2019-03-25 17:07:14 +00:00
|
|
|
else
|
2021-08-18 15:05:11 +00:00
|
|
|
if [[ `find http/web_ui/index.html -mmin +10080` ]]
|
2019-03-25 17:07:14 +00:00
|
|
|
then
|
|
|
|
printf "Compiled UI assets are more than one week old. They can be rebuilt with: make static-dist\n\n"
|
2021-08-18 15:05:11 +00:00
|
|
|
exit 1
|
2019-03-25 17:07:14 +00:00
|
|
|
fi
|
|
|
|
fi
|