Merge branch 'master' of github.com:micropython/micropython

2014-05-03 19:02:47 +01:00
parent 977a0ce287 fb9ca7c3aa
commit 1549f17038
5 changed files with 47 additions and 4 deletions
--- a/unix/main.c
+++ b/unix/main.c
@@ -394,11 +394,7 @@ int main(int argc, char **argv) {
                return usage(argv);
            }
        } else {
-#ifdef __MINGW32__
-            char *basedir = _fullpath(NULL, argv[a], _MAX_PATH);
-#else
            char *basedir = realpath(argv[a], NULL);
-#endif
            if (basedir == NULL) {
                fprintf(stderr, "%s: can't open file '%s': [Errno %d] ", argv[0], argv[1], errno);
                perror("");