From mboxrd@z Thu Jan  1 00:00:00 1970
From: kazumi iwane <kiwane@mx6.ttcn.ne.jp>
To: 9fans@cse.psu.edu
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Message-Id: <20020720174005.DXYF929.mta1p@isabella>
Subject: [9fans] acid library files
Date: Sun, 21 Jul 2002 02:40:49 +0900
Topicbox-Message-UUID: d3320676-eaca-11e9-9e20-41e7f4b1d025

Hello 9fans,

A couple of acid library files are missing in the distribution.


term% acid -l thread -l pool 2207
/proc/2207/text:386 plan 9 executable

/sys/lib/acid/port
/sys/lib/acid/thread:1: (error) pushfile: /sys/src/libthread/sched.acid:
  '/sys/src/libthread/sched.acid' does not exist
/sys/lib/acid/pool:1: (error) pushfile: /sys/src/libc/port/pool.acid: 
  '/sys/src/libc/port/pool.acid' does not exist
/sys/lib/acid/386
...


Is it correct to do

term% 8c -FVw -a sched.c >sched.acid

to create these files?

- kazumi