1 files changed, 40 insertions, 0 deletions
diff --git a/extensions/strip-device-nodes.configure b/extensions/strip-device-nodes.configure
new file mode 100644
index 00000000..9f09b560
--- /dev/null
+++ b/extensions/strip-device-nodes.configure
@@ -0,0 +1,40 @@
+#!/bin/sh
+# Copyright (C) 2015  Codethink Limited
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; version 2 of the License.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License along
+# with this program; if not, write to the Free Software Foundation, Inc.,
+# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
+
+# See strip-device-nodes.configure.help for documentation.
+
+set -eu
+
+case "$STRIP_DEVICE_NODES" in
+    yes|Yes|YES|true|True|TRUE|1)
+        run=yes ;;
+    *)
+        run=no ;;
+esac
+
+if [ "$run" = "yes" ]; then
+    echo "Stripping device nodes"
+
+    root="$1"
+
+    # Be VERY CAREFUL because this runs in the host system as root.
+    if [ "$(readlink -f $1)" = / ]; then
+        echo "Refusing to remove files from /, as a safety precausion."
+        exit 1
+    fi
+
+    rm -R "$1"/dev/*
+fi