Skip to content

Commit 861c295

Browse files
committed
---
yaml --- r: 3889 b: refs/heads/master c: 49116ad h: refs/heads/master i: 3887: 3e36109 v: v3
1 parent 6f63d39 commit 861c295

25 files changed

+25
-25
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
---
2-
refs/heads/master: 2e2951305d66feea833ec2b05af8102b1b5affa9
2+
refs/heads/master: 49116adbe989139766feeccad51b46207fc546dc

trunk/src/rt/circular_buffer.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -188,6 +188,6 @@ circular_buffer::size() {
188188
// indent-tabs-mode: nil
189189
// c-basic-offset: 4
190190
// buffer-file-coding-system: utf-8-unix
191-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
191+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
192192
// End:
193193
//

trunk/src/rt/circular_buffer.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@ circular_buffer : public task_owned<circular_buffer> {
5050
// indent-tabs-mode: nil
5151
// c-basic-offset: 4
5252
// buffer-file-coding-system: utf-8-unix
53-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
53+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
5454
// End:
5555
//
5656

trunk/src/rt/memory_region.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -164,6 +164,6 @@ memory_region::~memory_region() {
164164
// indent-tabs-mode: nil
165165
// c-basic-offset: 4
166166
// buffer-file-coding-system: utf-8-unix
167-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
167+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
168168
// End:
169169
//

trunk/src/rt/memory_region.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@ inline void *operator new(size_t size, memory_region *region) {
5050
// indent-tabs-mode: nil
5151
// c-basic-offset: 4
5252
// buffer-file-coding-system: utf-8-unix
53-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
53+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
5454
// End:
5555
//
5656

trunk/src/rt/rust.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ extern "C" int check_claims;
3030
* indent-tabs-mode: nil
3131
* c-basic-offset: 4
3232
* buffer-file-coding-system: utf-8-unix
33-
* compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
33+
* compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
3434
* End:
3535
*/
3636

trunk/src/rt/rust_chan.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -161,6 +161,6 @@ void rust_chan::destroy() {
161161
// indent-tabs-mode: nil
162162
// c-basic-offset: 4
163163
// buffer-file-coding-system: utf-8-unix
164-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
164+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
165165
// End:
166166
//

trunk/src/rt/rust_chan.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ class rust_chan : public kernel_owned<rust_chan>,
3434
// indent-tabs-mode: nil
3535
// c-basic-offset: 4
3636
// buffer-file-coding-system: utf-8-unix
37-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
37+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
3838
// End:
3939
//
4040

trunk/src/rt/rust_comm.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,6 @@ rust_alarm::rust_alarm(rust_task *receiver) :
1515
// indent-tabs-mode: nil
1616
// c-basic-offset: 4
1717
// buffer-file-coding-system: utf-8-unix
18-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
18+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
1919
// End:
2020
//

trunk/src/rt/rust_crate_cache.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -69,6 +69,6 @@ rust_crate_cache::~rust_crate_cache()
6969
// indent-tabs-mode: nil
7070
// c-basic-offset: 4
7171
// buffer-file-coding-system: utf-8-unix
72-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
72+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
7373
// End:
7474
//

trunk/src/rt/rust_internal.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -269,7 +269,7 @@ typedef ptr_vec<rust_alarm> rust_wait_queue;
269269
// indent-tabs-mode: nil
270270
// c-basic-offset: 4
271271
// buffer-file-coding-system: utf-8-unix
272-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
272+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
273273
// End:
274274
//
275275

trunk/src/rt/rust_kernel.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -299,6 +299,6 @@ void rust_task_thread::run()
299299
// indent-tabs-mode: nil
300300
// c-basic-offset: 4
301301
// buffer-file-coding-system: utf-8-unix
302-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
302+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
303303
// End:
304304
//

trunk/src/rt/rust_message.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -123,6 +123,6 @@ rust_message_queue::rust_message_queue(rust_srv *srv, rust_kernel *kernel)
123123
// indent-tabs-mode: nil
124124
// c-basic-offset: 4
125125
// buffer-file-coding-system: utf-8-unix
126-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
126+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
127127
// End:
128128
//

trunk/src/rt/rust_message.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -128,7 +128,7 @@ class rust_message_queue : public lock_free_queue<rust_message*>,
128128
// indent-tabs-mode: nil
129129
// c-basic-offset: 4
130130
// buffer-file-coding-system: utf-8-unix
131-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
131+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
132132
// End:
133133
//
134134

trunk/src/rt/rust_port.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -66,6 +66,6 @@ void rust_port::log_state() {
6666
// indent-tabs-mode: nil
6767
// c-basic-offset: 4
6868
// buffer-file-coding-system: utf-8-unix
69-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
69+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
7070
// End:
7171
//

trunk/src/rt/rust_port.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ class rust_port : public maybe_proxy<rust_port>,
2929
// indent-tabs-mode: nil
3030
// c-basic-offset: 4
3131
// buffer-file-coding-system: utf-8-unix
32-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
32+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
3333
// End:
3434
//
3535

trunk/src/rt/rust_proxy.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ struct rust_task;
7373
// indent-tabs-mode: nil
7474
// c-basic-offset: 4
7575
// buffer-file-coding-system: utf-8-unix
76-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
76+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
7777
// End:
7878
//
7979

trunk/src/rt/rust_run_program.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -93,6 +93,6 @@ rust_process_wait(void* task, int proc) {
9393
// indent-tabs-mode: nil
9494
// c-basic-offset: 4
9595
// buffer-file-coding-system: utf-8-unix
96-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
96+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
9797
// End:
9898
//

trunk/src/rt/rust_scheduler.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -307,6 +307,6 @@ rust_scheduler::create_task(rust_task *spawner, const char *name) {
307307
// indent-tabs-mode: nil
308308
// c-basic-offset: 4
309309
// buffer-file-coding-system: utf-8-unix
310-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
310+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
311311
// End:
312312
//

trunk/src/rt/rust_scheduler.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -101,7 +101,7 @@ rust_scheduler::get_log() {
101101
// indent-tabs-mode: nil
102102
// c-basic-offset: 4
103103
// buffer-file-coding-system: utf-8-unix
104-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
104+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
105105
// End:
106106
//
107107

trunk/src/rt/rust_task.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -516,6 +516,6 @@ void rust_task::on_wakeup(rust_task::wakeup_callback *callback) {
516516
// indent-tabs-mode: nil
517517
// c-basic-offset: 4
518518
// buffer-file-coding-system: utf-8-unix
519-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
519+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
520520
// End:
521521
//

trunk/src/rt/rust_task.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -170,7 +170,7 @@ rust_task : public maybe_proxy<rust_task>,
170170
// indent-tabs-mode: nil
171171
// c-basic-offset: 4
172172
// buffer-file-coding-system: utf-8-unix
173-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
173+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
174174
// End:
175175
//
176176

trunk/src/rt/rust_timer.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -85,6 +85,6 @@ rust_timer::~rust_timer() {
8585
// indent-tabs-mode: nil
8686
// c-basic-offset: 4
8787
// buffer-file-coding-system: utf-8-unix
88-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
88+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
8989
// End:
9090
//

trunk/src/rt/rust_upcall.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -603,6 +603,6 @@ upcall_ivec_spill_shared(rust_task *task,
603603
// indent-tabs-mode: nil
604604
// c-basic-offset: 4
605605
// buffer-file-coding-system: utf-8-unix
606-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
606+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
607607
// End:
608608
//

trunk/src/rt/rust_util.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -224,7 +224,7 @@ rust_ivec
224224
// indent-tabs-mode: nil
225225
// c-basic-offset: 4
226226
// buffer-file-coding-system: utf-8-unix
227-
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
227+
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
228228
// End:
229229
//
230230

0 commit comments

Comments
 (0)