diff options
author | Leah Rowe <info@minifree.org> | 2017-07-19 07:37:32 +0000 |
---|---|---|
committer | Gogs <gogitservice@gmail.com> | 2017-07-19 07:37:32 +0000 |
commit | 0f064d92c72733155be1283b24e91ac81962edc1 (patch) | |
tree | 6e5f71628389edeb6d55872fba42fb942ec7059c /libs/common | |
parent | 86cee2e3bab8df116fe856af34a99f11896f000e (diff) | |
parent | 02f973efd42f566cfe672e091cd4e67deb9a0cc0 (diff) | |
download | librebootfr-0f064d92c72733155be1283b24e91ac81962edc1.tar.gz librebootfr-0f064d92c72733155be1283b24e91ac81962edc1.zip |
Merge branch 'libreboot-main-cleanup' of kragle/libreboot into master
Diffstat (limited to 'libs/common')
-rwxr-xr-x | libs/common | 4 |
1 files changed, 4 insertions, 0 deletions
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 |