]> git.earman.xyz Git - sensor-watch.git/commitdiff
Merge pull request #110 from wryun/fix-makefile-parallelism-linux
authorjoeycastillo <joeycastillo@utexas.edu>
Sat, 29 Oct 2022 22:49:12 +0000 (17:49 -0500)
committerGitHub <noreply@github.com>
Sat, 29 Oct 2022 22:49:12 +0000 (17:49 -0500)
Fix Linux Makefile parallelism


Trivial merge