riscv
/
caravel
mirror of https://github.com/efabless/caravel.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Prevent crash from too many open files.

This commit is contained in:
D. Mitch Bailey 2025-02-13 19:16:51 -08:00
parent a860aaa652
commit 61906428d4
2 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Makefile
View File

@ -115,6 +115,7 @@ __ship:
random seed `$(CARAVEL_ROOT)/scripts/set_user_id.py -report`; \ random seed `$(CARAVEL_ROOT)/scripts/set_user_id.py -report`; \
drc off; \ drc off; \
crashbackups stop; \ crashbackups stop; \
locking disable; \
addpath hexdigits; \ addpath hexdigits; \
addpath $(MCW_ROOT)/mag; \ addpath $(MCW_ROOT)/mag; \
addpath $(UPRJ_ROOT)/mag; \ addpath $(UPRJ_ROOT)/mag; \
@ -155,6 +156,7 @@ __truck:
random seed `$(CARAVEL_ROOT)/scripts/set_user_id.py -report`; \ random seed `$(CARAVEL_ROOT)/scripts/set_user_id.py -report`; \
drc off; \ drc off; \
crashbackups stop; \ crashbackups stop; \
locking disable; \
addpath hexdigits; \ addpath hexdigits; \
addpath $(MCW_ROOT)/mag; \ addpath $(MCW_ROOT)/mag; \
addpath $(UPRJ_ROOT)/mag; \ addpath $(UPRJ_ROOT)/mag; \
@ -193,6 +195,7 @@ __openframe:
@echo "\ @echo "\
drc off; \ drc off; \
crashbackups stop; \ crashbackups stop; \
locking disable; \
addpath hexdigits; \ addpath hexdigits; \
addpath $(UPRJ_ROOT)/mag; \ addpath $(UPRJ_ROOT)/mag; \
load openframe_project_wrapper; \ load openframe_project_wrapper; \

2
scripts/compositor.py
View File

@ -164,6 +164,8 @@ if __name__ == '__main__':
with open(user_project_path + '/mag/compose_final.tcl', 'w') as ofile: with open(user_project_path + '/mag/compose_final.tcl', 'w') as ofile:
print('#!/bin/env wish', file=ofile) print('#!/bin/env wish', file=ofile)
print('drc off', file=ofile) print('drc off', file=ofile)
print('crashbackups stop', file=ofile)
print('locking disable', file=ofile)
# Set the random seed from the project ID # Set the random seed from the project ID
print('random seed ' + user_id_decimal, file=ofile) print('random seed ' + user_id_decimal, file=ofile)