set nbt 8
set nbl 8
set nbn 83
- set nbwithouttri($env(os_type)) $nbt
- set nbfree($env(os_type)) $nbl
- set nbfreenodes($env(os_type)) $nbn
+ set nbwithouttri([checkplatform]) $nbt
+ set nbfree([checkplatform]) $nbl
+ set nbfreenodes([checkplatform]) $nbn
} else {
set bug_withouttri "OCC23105"
##set nbt 14
set nbt 8
set nbn 60
set nbl 12
- set nbwithouttri($env(os_type)) $nbt
- set nbfree($env(os_type)) $nbl
- set nbfreenodes($env(os_type)) $nbn
+ set nbwithouttri([checkplatform]) $nbt
+ set nbfree([checkplatform]) $nbl
+ set nbfreenodes([checkplatform]) $nbn
}