aboutsummaryrefslogtreecommitdiffstats
path: root/misc
diff options
context:
space:
mode:
authorMiodrag Milanović <mmicko@gmail.com>2020-04-10 16:33:01 +0200
committerGitHub <noreply@github.com>2020-04-10 16:33:01 +0200
commit93c6c6779861d7b41fae1b87d54790e0a9555b80 (patch)
tree434835d5d7d28d270cb232299bd6b1dfccbc9014 /misc
parent7c06cb615745fce4490c1d5b9dcf48d40fa00445 (diff)
parentaf7b7b6dc1891923245db4c818cefd6155aafab8 (diff)
downloadyosys-93c6c6779861d7b41fae1b87d54790e0a9555b80.tar.gz
yosys-93c6c6779861d7b41fae1b87d54790e0a9555b80.tar.bz2
yosys-93c6c6779861d7b41fae1b87d54790e0a9555b80.zip
Merge pull request #1893 from mmicko/program_prefix
Support custom PROGRAM_PREFIX
Diffstat (limited to 'misc')
-rw-r--r--misc/yosys-config.in8
1 files changed, 4 insertions, 4 deletions
diff --git a/misc/yosys-config.in b/misc/yosys-config.in
index 1473948cf..370835f8f 100644
--- a/misc/yosys-config.in
+++ b/misc/yosys-config.in
@@ -18,21 +18,21 @@ help() {
echo ""
echo "Use --exec to call a command instead of generating output. Example usage:"
echo ""
- echo " yosys-config --exec --cxx --cxxflags --ldflags -o plugin.so -shared plugin.cc --ldlibs"
+ echo " $0 --exec --cxx --cxxflags --ldflags -o plugin.so -shared plugin.cc --ldlibs"
echo ""
echo "The above command can be abbreviated as:"
echo ""
- echo " yosys-config --build plugin.so plugin.cc"
+ echo " $0 --build plugin.so plugin.cc"
echo ""
echo "Use --prefix to change the prefix for the special args from '--' to"
echo "something else. Example:"
echo ""
- echo " yosys-config --prefix @ bindir: @bindir"
+ echo " $0 --prefix @ bindir: @bindir"
echo ""
echo "The args --bindir and --datdir can be directly followed by a slash and"
echo "additional text. Example:"
echo ""
- echo " yosys-config --datdir/simlib.v"
+ echo " $0 --datdir/simlib.v"
echo ""
} >&2
exit 1