Dear all,
in i-syscmd, it seems that sometimes we attempt to delete directories with
DELETE_-FILE, for example in histFileErase. This does not work with all
lisps.
Is the following patch OK?
Martin
Index: src/interp/i-syscmd.boot
===================================================================
--- src/interp/i-syscmd.boot (Revision 393)
+++ src/interp/i-syscmd.boot (Arbeitskopie)
@@ -1499,7 +1499,8 @@
histFileErase file ==
--OBEY STRCONC('"rm -rf ", file)
- PROBE_-FILE(file) and DELETE_-FILE(file)
+-- PROBE_-FILE(file) and DELETE_-FILE(file)
+ _$ERASE(file)
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
