diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-12-25 12:26:05 -0800 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-12-25 12:28:10 -0800 |
| commit | 47287fbf1af21207d8f847842fb32db9ee95e4c8 (patch) | |
| tree | 432e6a6e6087efaf1b23cbb19465aa21407db055 /translate_mu_debug | |
| parent | 56bfd52643b469687beb6a91a2a6277cea7b75a0 (diff) | |
| download | mu-47287fbf1af21207d8f847842fb32db9ee95e4c8.tar.gz | |
7401 - clean up support for non-Linux platforms
Diffstat (limited to 'translate_mu_debug')
| -rwxr-xr-x | translate_mu_debug | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/translate_mu_debug b/translate_mu_debug index b6176a82..8bee3906 100755 --- a/translate_mu_debug +++ b/translate_mu_debug @@ -1,5 +1,8 @@ #!/bin/sh -# Translate Mu programs with debug information on Linux. +# Translate given Mu files with debug information on Linux. +# +# (You _could_ do something similar on other platforms using emulation. But I +# often find that to be too slow.) set -e |