diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-09-13 18:14:58 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-13 16:14:58 +0000 |
commit | e73aa912b0716f45642865baf245693f94bdea63 (patch) | |
tree | 842fc3e54e280fc867e1e1aa58a9d979d6533753 /src/options | |
parent | e3fe8741b7d7ae9258118f71ec977bafeaa17344 (diff) |
Add main options to cmake (#7178)
This PR adds main/options.cpp to cmake. Also, it removes the old (now obsolete and unused) options script.
Diffstat (limited to 'src/options')
-rwxr-xr-x | src/options/generate-toml-files.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/options/generate-toml-files.sh b/src/options/generate-toml-files.sh deleted file mode 100755 index 1a2100227..000000000 --- a/src/options/generate-toml-files.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash - -for f in *_options; do echo $f; time ./mkoptions-toml module-sed $f > ${f}.toml; done |