diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/configure b/configure new file mode 100755 index 0000000..3069f60 --- /dev/null +++ b/configure @@ -0,0 +1,8 @@ +#!/bin/sh + +# +# This file only exists to stay compatible with well-known build +# workflows. Further, it also prepares just in case it gets required +# somewhen. +# + |