diff options
| author | Fred Sundvik <fsundvik@gmail.com> | 2017-07-11 17:32:58 +0300 |
|---|---|---|
| committer | Fred Sundvik <fsundvik@gmail.com> | 2017-07-11 17:32:58 +0300 |
| commit | 0d9e7f635e8f05356101d72725342fc272b7b71b (patch) | |
| tree | bac60593483ef208ad621c35d5a3ca837c0fe3db /util/win_shared_install.sh | |
| parent | 76bd0d3e184f77ff89f9db2274574093f78e49ca (diff) | |
Extract flip
Diffstat (limited to 'util/win_shared_install.sh')
| -rw-r--r-- | util/win_shared_install.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/util/win_shared_install.sh b/util/win_shared_install.sh index cfae578451..8d1949ae9f 100644 --- a/util/win_shared_install.sh +++ b/util/win_shared_install.sh @@ -55,21 +55,6 @@ else done fi -pushd "$download_dir" -while true; do - echo - echo "Flip need to be installed if you want to use that for programming." - echo "Please install it to the default location!" - read -p "Do you want to install it now? (Y/N) " res - case $res in - [Yy]* ) cmd.exe /c FlipInstaller.exe; break;; - [Nn]* ) break;; - * ) echo "Invalid answer";; - esac -done -popd - - while true; do echo echo "Which USB drivers do you want to install?" |