Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • emulab-devel emulab-devel
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 161
    • Issues 161
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 6
    • Merge requests 6
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • emulab
  • emulab-develemulab-devel
  • Repository
Switch branch/tag
  • emulab-devel
  • install
  • ports
  • emulab-boss
  • Makefile
Find file BlameHistoryPermalink
  • Mike Hibler's avatar
    Bug Fix: add a nascent emulab-tipserv port, fix other port-related issues. · c6a3c283
    Mike Hibler authored Dec 17, 2012
    Tipserv port only includes libtelnet which is only needed for the icebox,
    so this port is not "linked in" to the documentation yet and is not required
    anywhere but on our PRObE cluster.
    
    Added a couple of missing ports to "boss" and "extras".
    c6a3c283

Replace Makefile

Attach a file by drag & drop or click to upload


Cancel
GitLab will create a branch in your fork and start a merge request.