From 24ae93f9656f3c8b769cd143b9117ce194173800 Mon Sep 17 00:00:00 2001 From: Harald Schafer Date: Thu, 23 Apr 2020 12:29:04 -0700 Subject: [PATCH] not a good name --- tools/ubuntu_setup.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/tools/ubuntu_setup.sh b/tools/ubuntu_setup.sh index ccd5b9e93d..561a019456 100755 --- a/tools/ubuntu_setup.sh +++ b/tools/ubuntu_setup.sh @@ -1,7 +1,5 @@ #!/bin/bash -e -# NOTE: ubuntu_setup.sh doesn't run! only for reading now - sudo apt-get update && sudo apt-get install -y \ autoconf \ build-essential \