Fixed Os_Ext.move when COPY_ATTRIBUTES not supported.

sireum · Apr 23, 2024 · ffc3f39 · ffc3f39
1 parent ea59efc
commit ffc3f39
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/library/jvm/src/main/scala/org/sireum/Os_Ext.scala b/library/jvm/src/main/scala/org/sireum/Os_Ext.scala
@@ -293,7 +293,9 @@ object Os_Ext {
         if (Os.isWin) {
           JFiles.move(p, t)
         } else {
-          JFiles.move(p, t, SCO.COPY_ATTRIBUTES)
+          try JFiles.move(p, t, SCO.COPY_ATTRIBUTES) catch {
+            case _: Exception => JFiles.move(p, t)
+          }
         }
     }
   }