diff options
| author | johnvg | 2013-04-26 10:03:50 +0000 |
|---|---|---|
| committer | johnvg | 2013-04-26 10:03:50 +0000 |
| commit | ef702a9d9a9df01c641cdcfc0ea855cd979b1c1d (patch) | |
| tree | 238181daa0422b59361bad30fe383cd73bc8149f /unix/make.linux.sh | |
| parent | allow =: again for generic functions without arguments (diff) | |
improve "multiply defined" error, add module names of the definitions to the error message
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2234 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'unix/make.linux.sh')
0 files changed, 0 insertions, 0 deletions