From 4320edc924a303ce0cab0000a5f16f045a3822df Mon Sep 17 00:00:00 2001
From: jahoti <jahoti@tilde.team>
Date: Sun, 10 Oct 2021 00:00:00 +0000
Subject: Add a configuration system

---
 write_makefile.sh | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100755 write_makefile.sh

(limited to 'write_makefile.sh')

diff --git a/write_makefile.sh b/write_makefile.sh
new file mode 100755
index 0000000..118635b
--- /dev/null
+++ b/write_makefile.sh
@@ -0,0 +1,21 @@
+#!/bin/sh
+
+# This file is part of Haketilo
+#
+# Copyright (C) 2021, jahoti
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the CC0 1.0 Universal License as published by
+# the Creative Commons Corporation.
+#
+# 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
+# CC0 1.0 Universal License for more details.
+
+if [ ! -e record.conf ]; then
+    echo "Record of configuration 'record.conf' does not exist." >&2
+    exit 1
+fi
+
+sed '/^# Configuration goes here$/r record.conf' < Makefile.in > Makefile
-- 
cgit v1.2.3