diff options
| author | johnvg | 2010-09-29 14:42:21 +0000 |
|---|---|---|
| committer | johnvg | 2010-09-29 14:42:21 +0000 |
| commit | c23b4416efe5c3a662086f333a5be74201eff463 (patch) | |
| tree | a228bb2a261b57f48814a0ea03c59175cb527dbe /unix/make.linux64.sh | |
| parent | fix for 64 bit linux (does not fix 64 bit windows) (diff) | |
prevent NULL pointer dereference
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1800 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'unix/make.linux64.sh')
0 files changed, 0 insertions, 0 deletions