Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 72165 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]
spin-4.2.6-xspin_wish_path.patch
spin-4.2.6-xspin_wish_path.patch (text/plain), 316 bytes, created by
Christian Schlotter
on 2005-11-05 04:53:51 UTC
(
hide
)
Description:
spin-4.2.6-xspin_wish_path.patch
Filename:
MIME Type:
Creator:
Christian Schlotter
Created:
2005-11-05 04:53:51 UTC
Size:
316 bytes
patch
obsolete
>--- Spin/Xspin4.2/xspin426.tcl.~1~ 2005-10-28 04:19:07.000000000 +0200 >+++ Spin/Xspin4.2/xspin426.tcl 2005-11-05 13:34:31.000000000 +0100 >@@ -1,6 +1,4 @@ >-#!/bin/sh >-# the next line restarts using wish \ >-exec wish c:/cygwin/bin/xspin -- $* >+#!/usr/bin/wish -f > > # cd ;# enable to cd to home directory by default >
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