Changeset 25

Timestamp:

10/02/02 17:07:50 (20 years ago)

Author:

piso

Message:

public static void compile(String args)

File:

• trunk/j/src/org/armedbear/j/CompilationBuffer.java (modified) (2 diffs)

trunk/j/src/org/armedbear/j/CompilationBuffer.java

@@ -3 +3 @@
  *
  * Copyright (C) 1998-2002 Peter Graves
- * $Id: CompilationBuffer.java,v 1.1.1.1 2002-09-24 16:08:00 piso Exp $
+ * $Id: CompilationBuffer.java,v 1.2 2002-10-02 17:07:50 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -538 +538 @@
     }
 
+    public static void compile(String args)
+    {
+        if (Platform.isPlatformWindows() && !Platform.isPlatformWindows5())
+            return;
+        if (args != null && args.length() > 0) {
+            History history = new History("compile.command");
+            history.append(args);
+            history.save();
+            compile(args, Editor.currentEditor());
+        }
+    }
+
     private static void compile(final String command, final Editor editor)
     {