diff --git a/scripts/copy-builtin.sh b/scripts/copy-builtin.sh index a33ffdea..4f517ae8 100644 --- a/scripts/copy-builtin.sh +++ b/scripts/copy-builtin.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -e # Build simple variables @@ -12,7 +12,7 @@ KCONFIG=$( cat <