diff options
-rwxr-xr-x | libreboot | 4 | ||||
-rwxr-xr-x | libs/common | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -187,10 +187,6 @@ libreboot_setup_variables() { VBOOT_KEYS_PATH="${VBOOT_KEYS_PATH:-${vboot_tools_path}/devkeys/}" fi - CONFIG_SHELL="${CONFIG_SHELL:-$(which bash)}" - EDITOR="${EDITOR:-$(which vi || true)}" - TASKS="${TASKS:-1}" - libreboot_setup_reproducible_builds_variables } diff --git a/libs/common b/libs/common index e5b8d504..b1d2f571 100755 --- a/libs/common +++ b/libs/common @@ -43,6 +43,10 @@ ARCHIVE="tar.xz" CHECKSUM="sha256sum" DSIG="asc" +CONFIG_SHELL="${CONFIG_SHELL:-$(which bash)}" +EDITOR="${EDITOR:-$(which vi || true)}" +TASKS="${TASKS:-1}" + function_check() { local function=$1 |