allow nesC 1.3

diff --git a/tools/tinyos/misc/tos-check-env b/tools/tinyos/misc/tos-check-env
index 86a024821d96b1993fd813c4a3374e97f452d24a..c5b8571fc953466feb7ed53dd4a4684b17b4102f 100755 (executable)
--- a/tools/tinyos/misc/tos-check-env
+++ b/tools/tinyos/misc/tos-check-env
@@ -158,7 +158,7 @@ sub chk_nesc {
        while (<NESC>) {
            if (/nescc:/) {
                print $_;
-               $versionok = 1 if /1\.2/;
+               $versionok = 1 if (/1\.2/ || /1\.3/);
            } elsif (/Unknown target /) {
                $warning = "--> WARNING: nescc (nesc) was found, but the version could " .
                    "not be verified. Verify that the ncc version that you have is $nescversion " .