[clean-list] clean on linux: Floating point exception

[Adam Megacz]

This is on an Intel Celeron machine running Linux 2.6.20.4:

megacz at megacz:/tmp/clean$curl http://clean.cs.ru.nl/download/Clean22/linux/Clean2.2.tar.gz | tar -xzf -
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 2878k  100 2878k    0     0   880k      0  0:00:03  0:00:03 --:--:-- 1393k
megacz at megacz:/tmp/clean$cd clean
megacz at megacz:/tmp/clean/clean$make
./make.sh: line 15: 12800 Floating point exception$CALL_CLM -ABC $M
/bin/sh: line 17: 12801 Floating point exception/tmp/clean/clean/bin/patch_bin /tmp/clean/clean/bin/clm CLEANPATH /tmp/clean/clean/lib/stdenv
/bin/sh: line 17: 12802 Floating point exception/tmp/clean/clean/bin/patch_bin /tmp/clean/clean/bin/clm CLEANILIB /tmp/clean/clean/lib
/bin/sh: line 9: cd: /tmp/clean/clean/lib/stdenv/Clean System Files: No such file or directory
make: *** [install] Floating point exception