diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2018-03-02 10:40:21 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2018-03-02 10:40:21 -0300 |
| commit | ede05d059412b04eeed1ac989decee9b190cb30a (patch) | |
| tree | f385121382e08bb2caf681c341aca7184bbccd51 | |
| parent | c504db5fd016222db13cd6493d95ecd94e3d1994 (diff) | |
| download | templater-ede05d059412b04eeed1ac989decee9b190cb30a.tar.gz templater-ede05d059412b04eeed1ac989decee9b190cb30a.tar.bz2 | |
Pushtodeploy: post-receive: check deploy target in all Makefiles
| -rwxr-xr-x | share/templater/pushtodeploy/files/post-receive | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/templater/pushtodeploy/files/post-receive b/share/templater/pushtodeploy/files/post-receive index c0c5a95..223f5db 100755 --- a/share/templater/pushtodeploy/files/post-receive +++ b/share/templater/pushtodeploy/files/post-receive @@ -10,7 +10,7 @@ cd .. unset GIT_DIR # Check for a Makefile deploy target or run standard deployment -if [ -e "Makefile" ] && grep -q "^deploy:" Makefile; then +if [ -e "Makefile" ] && grep -q "^deploy:" Makefile*; then make deploy else if [ -d ".git/annex" ]; then |