diff options
Diffstat (limited to 'helpers/llvm-push')
-rwxr-xr-x | helpers/llvm-push | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/helpers/llvm-push b/helpers/llvm-push index 54fee83..b7ad1d1 100755 --- a/helpers/llvm-push +++ b/helpers/llvm-push @@ -18,4 +18,4 @@ verify_env repos=$LLVM_ROOT/repos env=$(dirname $LLVM_SRC) -safe_run python3 $llvmtool --repos $repos --env $env push +safe_run python3 $llvmtool --env $env push |