Forgot a file in the previous commit…

This commit is contained in:
Your Name 2019-03-05 15:23:34 +01:00
parent 32c024cf4f
commit ec6cefb1ff

10
check_dot_git_is_dir.sh Executable file
View File

@ -0,0 +1,10 @@
#!/bin/sh
set -e
if test -d ../../.git; then
echo true > dot_git_is_dir
else
echo false > dot_git_is_dir
cat .git >> dot_git_is_dir
fi