diff --git a/oqs-scripts/clone_liboqs.sh b/oqs-scripts/clone_liboqs.sh index 2a54894c2c3e..e9cb5ae42926 100755 --- a/oqs-scripts/clone_liboqs.sh +++ b/oqs-scripts/clone_liboqs.sh @@ -10,6 +10,8 @@ env echo $USER +USER=`whoami` +echo $USER echo ~$USER # echo $HOME # echo ~