1 files changed, 21 insertions, 0 deletions
diff --git a/archived/projt-launcher/scripts/gen-cmark-config.sh b/archived/projt-launcher/scripts/gen-cmark-config.sh
new file mode 100755
index 0000000000..21279c1032
--- /dev/null
+++ b/archived/projt-launcher/scripts/gen-cmark-config.sh
@@ -0,0 +1,21 @@
+#!/bin/sh
+# Generate cmark_config.h
+
+cat > "$1" << 'EOF'
+#ifndef CMARK_CONFIG_H
+#define CMARK_CONFIG_H
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+#define HAVE_STDBOOL_H 1
+#define HAVE___BUILTIN_EXPECT 1
+#define HAVE___ATTRIBUTE__ 1
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif /* CMARK_CONFIG_H */
+EOF