From 21011a666aa16dc7fc7a278e3d7435750f36fdac Mon Sep 17 00:00:00 2001
From: Martin Kepplinger <martink@posteo.de>
Date: Wed, 19 Dec 2018 12:46:34 +0100
Subject: [PATCH] rename config-xxx to nonfree-config-xxx

we require to rename one config for building for now
---
 x230/build.sh                                         | 1 +
 x230/{config-2ca2acc51f => nonfree-config-2ca2acc51f} | 0
 2 files changed, 1 insertion(+)
 rename x230/{config-2ca2acc51f => nonfree-config-2ca2acc51f} (100%)

diff --git a/x230/build.sh b/x230/build.sh
index 66fcd9c..dfa5a21 100755
--- a/x230/build.sh
+++ b/x230/build.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+ls -1 config* || exit 0
 . skulls_common.sh
 
 warn_not_root
diff --git a/x230/config-2ca2acc51f b/x230/nonfree-config-2ca2acc51f
similarity index 100%
rename from x230/config-2ca2acc51f
rename to x230/nonfree-config-2ca2acc51f