Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 209910 Details for
Bug 111542
New package: spin (formal software systems verification tool)
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
[patch]
in xspin there is an error, because of the syntax in the time statement, just deactivated it
spin-5.2.2-xspin_time.patch (text/plain), 728 bytes, created by
Felix Wieczorek
on 2009-11-11 14:14:53 UTC
(
hide
)
Description:
in xspin there is an error, because of the syntax in the time statement, just deactivated it
Filename:
MIME Type:
Creator:
Felix Wieczorek
Created:
2009-11-11 14:14:53 UTC
Size:
728 bytes
patch
obsolete
>--- Spin/Xspin5.2/xspin521.tcl 2009-09-07 00:20:10.000000000 +0300 >+++ SpinNew/Xspin5.2/xspin521.tcl 2009-11-11 14:10:45.202867113 +0200 >@@ -1,6 +1,6 @@ >-#!/bin/sh >+#!/usr/bin/wish > # the next line restarts using wish \ >-exec wish c:/cygwin/bin/xspin -- $* >+#exec wish c:/cygwin/bin/xspin -- $* > > # cd ;# enable to cd to home directory by default > >@@ -6840,12 +6840,8 @@ > set LastCompile $NextCompile > set NextCompile "" > >- if {$Unix} { >- set PREFIX "time ./pan -v" >- } else { >- set PREFIX "pan -v" >- } >- add_log "$PREFIX $v_options"; update >+ set PREFIX "pan -v" >+ add_log "$PREFIX $v_options" ; update > if {$havedest != "0"} { > $havedest insert end "$PREFIX $v_options\n" > catch { $havedest yview -pickplace end }
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Diff
View Attachment As Raw
Actions:
View
|
Diff
Attachments on
bug 111542
:
72164
|
72165
|
72166
|
72168
|
72251
|
72282
|
72283
|
72467
|
99827
|
99896
|
205022
|
209909
| 209910