diff options
| author | Daniel Baumann <daniel@debian.org> | 2012-07-25 16:56:36 +0200 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2012-07-25 17:25:04 +0200 |
| commit | e8ced87a39fc0a748506f0663ac61449685d5957 (patch) | |
| tree | d3b2d45f350e505b1ddbc66cee8e10cd4db8082a /scripts/boot/0110-debug | |
| parent | a6c72cbbbf6d4c5b9ce481788b56646bc2bd62c8 (diff) | |
| download | live-boot-e8ced87a39fc0a748506f0663ac61449685d5957.tar.gz live-boot-e8ced87a39fc0a748506f0663ac61449685d5957.zip | |
Factoring out debug into an own function.
Diffstat (limited to 'scripts/boot/0110-debug')
| -rwxr-xr-x | scripts/boot/0110-debug | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/scripts/boot/0110-debug b/scripts/boot/0110-debug new file mode 100755 index 0000000..a74dcb7 --- /dev/null +++ b/scripts/boot/0110-debug @@ -0,0 +1,22 @@ +#!/bin/sh + +#set -e + +Debug () +{ + for _PARAMETER in ${_CMDLINE} + do + case "${_PARAMETER}" in + live-boot.debug|debug) + LIVE_DEBUG="true" + ;; + esac + done + + if [ "${LIVE_DEBUG}" != "true" ] + then + return 0 + fi + + set -x +} |