mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-09-20 00:30:49 +00:00
try to remove clickhouse if already exists
This commit is contained in:
parent
080618a91e
commit
ea58f05898
@ -1,5 +1,9 @@
|
||||
#!/bin/sh -e
|
||||
|
||||
if [ -f "clickhouse" ]; then
|
||||
rm --interactive=never clickhouse || { echo "clickhouse already exists and I'm not able to remove it :("; exit 1; }
|
||||
fi
|
||||
|
||||
OS=$(uname -s)
|
||||
ARCH=$(uname -m)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user