diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2020-04-22 06:56:11 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2020-04-22 06:56:11 -0700 |
| commit | 944a258b1dbf1465b91690cf5784eef9336a2471 (patch) | |
| tree | fc92c80f9c9f5a39342b219e430f4d3f4bee80c0 /mpi/mpi.c | |
| parent | ca34937d301d52c18a7a21a1081ac0c2eb7d8ce6 (diff) | |
| download | txr-944a258b1dbf1465b91690cf5784eef9336a2471.tar.gz txr-944a258b1dbf1465b91690cf5784eef9336a2471.tar.bz2 txr-944a258b1dbf1465b91690cf5784eef9336a2471.zip | |
printer: add package prefix on symbols with zero-length name.
* lib.c (symbol_needs_prefix): If the name is an empty string,
the symbol needs a prefix. Otherwise it disappears in the
output.
Diffstat (limited to 'mpi/mpi.c')
0 files changed, 0 insertions, 0 deletions