Skip to content

Commit

Permalink
[Scripts] issue was fixed with chmod about git commit
Browse files Browse the repository at this point in the history
  • Loading branch information
AndrewQuijano committed Aug 5, 2024
1 parent b49f4cb commit e1488de
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions scripts/add_queries.sh
Original file line number Diff line number Diff line change
Expand Up @@ -73,11 +73,11 @@ tar xf "$tarfile"

progress "queries" 0 "Entering $source."
cd "$source"
chown -R root:root .

progress "queries" 0 "Creating git repo."
rm -rf .git || true #Remove any existing git repo
git init
git config --global --add safe.directory $source
git config user.name LAVA
git config user.email "nobody@nowhere"
git add -A .
Expand Down Expand Up @@ -210,13 +210,13 @@ fi
# Do we need to explicitly apply replacements in the root source directory
# This causes clang-apply-replacements to segfault when run a 2nd time
#pushd "$directory/$name/$source"
#$llvm_src/Release/bin/clang-apply-replacements .
#/usr/lib/llvm-11/bin//clang-apply-replacements .
#popd

for i in $c_dirs; do
echo "Applying replacements to $i"
pushd $i
$llvm_src/Release/bin/clang-apply-replacements .
/usr/lib/llvm-11/bin/clang-apply-replacements .
popd
done

Expand Down

0 comments on commit e1488de

Please sign in to comment.