diff options
author | Urbain Vaes <urbain@vaes.uk> | 2015-10-09 11:41:37 +0100 |
---|---|---|
committer | Urbain Vaes <urbain@vaes.uk> | 2015-10-09 11:41:37 +0100 |
commit | faad1b072a930b504adfaef4324d8469e1a57502 (patch) | |
tree | aff5ead6fedb1aa6f35d0a23b8ef35ec19f68d04 /bin | |
parent | 3125a8c2efacb0aa4191d9dd0c06ce0af16dd2c0 (diff) |
Correct errors in Makefiles
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/clean | 2 | ||||
-rwxr-xr-x | bin/install | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ #! /bin/bash dotdir=/home/urbain/dotfiles -for file in `ls -A --ignore="install.sh" --ignore="README.md" --ignore=".git*"`; do +for file in `ls -A --ignore="Makefile" --ignore="README.md" --ignore=".git*"`; do if [[ -f $file/Makefile ]]; then cd $file && make clean && cd $dotdir else diff --git a/bin/install b/bin/install index eb69236..438c5b9 100755 --- a/bin/install +++ b/bin/install @@ -1,6 +1,6 @@ #! /bin/bash dotdir=/home/urbain/dotfiles -for file in `ls -A --ignore="install.sh" --ignore="README.md" --ignore=".git*"`; do +for file in `ls -A --ignore="Makefile" --ignore="README.md" --ignore=".git*"`; do if [[ -f $file/Makefile ]]; then cd $file && make && cd $dotdir else |