diff options
author | davidovski <david@davidovski.xyz> | 2022-09-28 12:51:09 +0100 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-09-28 12:51:09 +0100 |
commit | 734a11c2cb45122e8e6484acb1dcbc86f9be24ac (patch) | |
tree | e7869b2e40e5b1acf0a807c4fbfa2006c8338991 | |
parent | 86d0c0ad3442008872f71a49a4ebf94e9e92a7fe (diff) |
removed needless git pull from xibd
-rwxr-xr-x | xib.sh | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -254,9 +254,9 @@ build_order () { xibd () { quickfail=false while true; do - cd $buildfiles - git pull - cd $xib_dir + #cd $buildfiles + #git pull + #cd $xib_dir xib_all sleep 5 done |