Skip to content
GitLab
Explore
Projects
Groups
Topics
Snippets
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
educg-net-28668-2608132
OSKernel2024-Unsigned-3808
Commits
230d76b7
Commit
230d76b7
authored
4 years ago
by
Frans Kaashoek
Browse files
Options
Download
Patches
Plain Diff
util lab
parent
740d3637
main
No related merge requests found
Changes
6
Hide whitespace changes
Inline
Side-by-side
Showing
6 changed files
.gitignore
+5
-0
.gitignore
Makefile
+136
-3
Makefile
conf/lab.mk
+1
-0
conf/lab.mk
grade-lab-util
+92
-0
grade-lab-util
gradelib.py
+589
-0
gradelib.py
user/xargstest.sh
+6
-0
user/xargstest.sh
with
829 additions
and
3 deletions
+829
-3
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment
Menu
Explore
Projects
Groups
Topics
Snippets