build: config-submenu: Correctly quote file path for readlink

Whenever an output file is requested, `support/build/config-submenu`
writes the name of the target file to the console. This commit passes
this file name with quotes to `readlink` that converts it to a fully
qualified path.

Signed-off-by: Simon Kuenzer <simon@unikraft.io>
Reviewed-by: Cezar Craciunoiu <cezar.craciunoiu@unikraft.io>
Reviewed-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Maria Sfiraiala <maria.sfiraiala@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
GitHub-Closes: #1104

diff --git a/support/build/config-submenu.sh b/support/build/config-submenu.sh
index 2c9d2b86bbe80e9d3c4cd40a817a28d375560473..8df3070c6131588ed919fb9988f009d4d991e6ed 100755 (executable)
--- a/support/build/config-submenu.sh
+++ b/support/build/config-submenu.sh
@@ -138,6 +138,6 @@ esac
 
 # close FD:7 and print filename
 if [ ! -z "$ARG_OUT" ]; then
-       printf '%s\n' "$( "${CMD_READLINK}" -f $ARG_OUT )"
+       printf '%s\n' "$( "${CMD_READLINK}" -f "${ARG_OUT}" )"
        exec 7>&-
 fi