Skip to content

Commit

Permalink
Merge pull request #378 from ucb-bar/rm-scripts
Browse files Browse the repository at this point in the history
Delete unsupported scripts
  • Loading branch information
jerryz123 authored Dec 13, 2024
2 parents 087a3d8 + 81ab60f commit 8405736
Show file tree
Hide file tree
Showing 9 changed files with 0 additions and 615 deletions.
63 changes: 0 additions & 63 deletions scripts/build-midas.sh

This file was deleted.

29 changes: 0 additions & 29 deletions scripts/build-spike.sh

This file was deleted.

36 changes: 0 additions & 36 deletions scripts/build-vcs.sh

This file was deleted.

36 changes: 0 additions & 36 deletions scripts/build-verilator.sh

This file was deleted.

136 changes: 0 additions & 136 deletions scripts/run-midas.sh

This file was deleted.

78 changes: 0 additions & 78 deletions scripts/run-spike.sh

This file was deleted.

Loading

0 comments on commit 8405736

Please sign in to comment.