try to make shellcheck happy

pull/914/head
Jesse Vincent 4 years ago
parent bbb04d77e9
commit 5774054d61
No known key found for this signature in database
GPG Key ID: CC228463465E40BC

@ -6,7 +6,7 @@
# This can be useful when build tools depend on file timestamps to # This can be useful when build tools depend on file timestamps to
# make caching decisions # make caching decisions
for file in `find src examples -type f` for file in $(find src examples -type f -print)
do do
timestamp=$(git log --pretty=format:%ad --date=format:%Y%m%d%H%M.%S -n 1 HEAD "$file" 2> /dev/null) timestamp=$(git log --pretty=format:%ad --date=format:%Y%m%d%H%M.%S -n 1 HEAD "$file" 2> /dev/null)
if [ "x$timestamp" != "x" ]; then if [ "x$timestamp" != "x" ]; then

Loading…
Cancel
Save